Automated Technology for Verification and Analysis : Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31-november 3, 2004 : Proceedings
ISBN: 9783540304760
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.